Les Minéides au fil de leurs contes

Notes sur les modèles de jeux, leurs logiques temporelles, et leurs extensions temporisées

Model checking. La vérification automatique des systèmes réactifs, critiques et/ou embarqués est aujourd’hui un problème très important. D’une part, parce que l’usage de ces systèmes s’est considérablement étendu ces dernières années et d’autre part, parce que leur complexité s’est largement accrue. Leur développement, depuis leur spécification jusqu’à leur implémentation, requiert donc des app...

Réduction d'interférence dans les systèmes de transmission sans fil

Wireless communications have known an exponential growth and a fast progress over the past few decades. Nowadays, wireless mobile communications have evolved over time starting with the first generation primarily developed for voice communications, and reaching the fourth generation referred to as long term evolution that offers an increasing capacity with much more users via different radio in...

Mécanismes de handover pour les réseaux IP sans fil

RÉSUMÉ . Le handover est le processus qui permet, à un terminal mobile, d’effectuer le passage entre deux points d’attachement à un réseau. Ce changement de point d’attachement implique une déconnexion momentanée du terminal mobile, et des perturbations des communications en cours. Ainsi, pour disposer d’une communication de qualité avec un terminal mobile, le handover doit introduire des mécan...

Architecture de communication pour les réseaux d'instrumentation sans fil

Architecture de Communication pour les Applications Multimédia Interactives dans les Réseaux Sans Fil